Making constraint solvers more usable: overconstraint problem
نویسندگان
چکیده
منابع مشابه
A Multicore Tool for Constraint Solving
In Constraint Programming (CP), a portfolio solver uses a variety of different solvers for solving a given Constraint Satisfaction / Optimization Problem. In this paper we introduce sunny-cp2: the first parallel CP portfolio solver that enables a dynamic, cooperative, and simultaneous execution of its solvers in a multicore setting. It incorporates state-of-the-art solvers, providing also a usa...
متن کاملUnsatisfiable Cores and Lower Bounding for Constraint Programming
Constraint Programming (CP) solvers typically tackle optimization problems by repeatedly finding solutions to a problem while placing tighter and tighter bounds on the solution cost. This approach is somewhat naive, especially for soft-constraint optimization problems in which the soft constraints are mostly satisfied. Unsatisfiable-core approaches to solving soft constraint problems in SAT (e....
متن کاملMachine learning for constraint solver design -- A case study for the alldifferent constraint
Constraint solvers are complex pieces of software which require many design decisions to be made by the implementer based on limited information. These decisions affect the performance of the finished solver significantly [16]. Once a design decision has been made, it cannot easily be reversed, although a different decision may be more appropriate for a particular problem. We investigate using ...
متن کاملHeterogeneous Scheduling and Rostering
We have designed and implemented a distributed model for planning and scheduling of transports in a railway company which is usable also for other production planning problems. Our model emphasizes the use of an agent for the coordination of distinct sub-problems occurring in railway scheduling such as for instance the allocation of track resources to transports, the allocation of vehicles to t...
متن کاملA Multi-objective Transmission Expansion Planning Strategy: A Bilevel Programming Method
This paper describes a methodology for transmission expansion planning (TEP) within a deregulated electricity market. Two objective functions including investment cost (IC) and congestion cost (CC) are considered. The proposed model forms a bi-level optimization problem in which upper level problem represents an independent system operator (ISO) making its decisions on investment while in the l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computer-Aided Design
دوره 36 شماره
صفحات -
تاریخ انتشار 2004